key

Mathias Péron

Senior Software Developer at MathWorks

reach me - curriculum vitæ in

I am interested in static analysis of numerical programs, in particular the analysis of arrays contents.
I teach compilation theory, software engineering and programming, notably in ocaml.

research - talks

Furthermore, I take a little time to advocate for Amnesty International.

some links - amnesty

Mathias Péron

Mais quoi la Tunisie, s'il vous plaît! J'ai encore feuilleté, il y a un gros livre de Human Rights Watch qui paraît tous les ans pour faire l'état des droits de l'homme dans le monde : la Tunisie n'y figure même plus, alors bon!

Bernard Kouchner, le 7 mai 2008 sur France Inter